Bilimits are bifinal objects
نویسندگان
چکیده
We prove that a (lax) bilimit of 2-functor is characterized by the existence limiting contraction in 2-category cones over diagram. also investigate notion bifinal object and cones. Everything developed context marked 2-categories, so machinery can be applied to different levels laxity, including pseudo-limits.
منابع مشابه
Are quantum particles objects?
It is widely believed that particles in quantum mechanics are metaphysically strange; they are not individuals (the view of Cassirer 1956), in some sense of the term, and perhaps they are not even objects at all, a suspicion raised by Quine (1976a, 1990). In parallel it is thought that this difference, and especially the status of quantum particles as indistinguishable, accounts for the differe...
متن کاملAre 'Scientific' Objects Coloured?
'In a world of "scientific" objects, objects characterizable by the vocabulary of physics alone, in a world governed by what we now believe to be the laws of nature, can anything be coloured?' I am here concerned to examine the claims of those physicalists who are disposed to give an affirmative answer to that question. In so doing, I shall restrict my attention to the physics of the present ti...
متن کاملobjects are visually salient
How do we decide which objects in a visual scene are more interesting? While intuition may point toward high-level object recognition and cognitive processes, here we investigate the contributions of a much simpler process, low-level visual saliency. We used the LabelMe database (24,863 photographs with 74,454 manually outlined objects) to evaluate how often interesting objects were among the f...
متن کاملHomomorphisms, Bilimits and Saturated Domains (some Very Basic Domain Theory)
The most powerful feature of categories of posets with directed sups is the ability to solve domain equations such as D ∼= D. A crucial ingredient of this technique is the fact that for certain kinds of diagrams (in particular sequences of “projection pairs”) the limit and colimit are isomorphic. This much is known to everyone in the subject: what appears not to be generally known is (i) that w...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Pure and Applied Algebra
سال: 2022
ISSN: ['1873-1376', '0022-4049']
DOI: https://doi.org/10.1016/j.jpaa.2022.107137